Constraint Specifications Using Patterns in Ocl
نویسنده
چکیده
Constraint patterns are very useful for specifying OCL constraints on UML class models. They potentially shorten the development time and reduce the errors for constraint development by providing predefined templates that can be instantiated in particular contexts. Constraint patterns can be identified by analyzing existing constraints for recurring expressions and abstracting from them. This paper extends the collection of published constraint patterns by identifying further patterns as well as making some improvements for existing patterns and their description. These are derived from an example model described in UML and augmented with OCL constraints.
منابع مشابه
Formal Description of OCL Specification Patterns for Behavioral Specification of Software Components
The Object Constraint Language (OCL) is often used for behavioral specification of software components. One current problem in specifying behavioral aspects comes from the fact that editing OCL constraints manually is time consuming and error-prone. To simplify constraint definition we propose to use specification patterns for which OCL constraints can be generated automatically. In this paper ...
متن کاملHow to process OCL Abstract Syntax Trees
The Model Development Tools Object Constraint Language (MDT OCL) project provides the building blocks for Model-Driven tools to weave OCL declarative specifications into software artifacts. We showcase some of these possibilities, taking as starting point a plug-in to visualize OCL abstract syntax trees (ASTs) in the form of annotated trees. This example motivates some practical tips about patt...
متن کاملFrequently Occurring Patterns in Behavioral Specification of Software Components
Compositional plug-and-play-like reuse of black-box components requires sophisticated techniques to specify the components. One current problem in specifying behavioral aspects comes from the fact that editing OCL constraints manually is time consuming and error-prone. To simplify constraint definition we propose to use specification patterns for which OCL constraints can be generated automatic...
متن کاملEnhancing the Understandability of OCL Specifications
OCL (Object Constraint Language) is the OMG standard language for the precise specification of constraints associated to MOF-compliant models and meta-models. Although OCL has been created with the intention to be a simpler language when compared to traditional formal specification languages, it is common to find specifications containing OCL constraints that are difficult to understand and evo...
متن کاملAvoiding OCL specification pitfalls
This paper discusses about teaching software modeling by using OCL specifications, in the context in which the web represents the main source of information. The raise of the interest for models induced a higher need for clear and complete specifications. In case of models specified by means of MOF-based languages, adding OCL constraints proved to be an interesting answer to this need. Several ...
متن کامل